Data Types as Functions
نویسندگان
چکیده
منابع مشابه
Data Types as Algorithms
— This paper présents a simplified construction of an algorithm space. The intuitive notion ofan algorithm collection goes back to Nolin 1974. Our goal is her e to formalize and simplify this présentation of algorithm theory. The introduction of a computability notion was induced by the utilization of bundie theory. We build an enumerable algorithm space where ever y object is computable. Résum...
متن کاملData Types as Objects
In this paper we present a new approach to the semantics of data types, in which the types themselves are incorporated as elements of the domain of data objects. The approach allows types to have subtypes, allows genuinely polymorphic functions, and gives a precise semantics for recursive type definitions (including definitions with parameters). In addition, the approach yields simple and strai...
متن کاملImmunostimulants: Types and Functions
Immunomodulators are natural or synthetic materials that regulate the immune system and induce innate and adaptive defense mechanisms. These substances are classified into two types, immunostimulants and immunosuppressants. Immunostimulants can enhance body's resistance against various infections through increasing the basal levels of immune response. These agents could increase the oxidative a...
متن کاملBanach Spaces as Data Types
We introduce the operators modified limit and accumulation on a Banach space, and we use this to define what we mean by being internally computable over the space. We prove that any externally computable function from a computable metric space to a computable Banach space is internally computable. We motivate the need for internal concepts of computability by observing that the complexity of th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1978
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v7i89.6504